void trap_init();